Really Natural Linear Indexed Type Checking

Recent works have shown the power of linear indexed type systems for enforcing complex program properties. These systems combine linear types with a language of type-level indices, allowing more fine-grained analyses. Such systems have been fruitfully applied in diverse domains, including implicit complexity and differential privacy. A natural way to enhance the expressiveness of this approach is by allowing the indices to depend on runtime information, in the spirit of dependent types. This approach is used in DFuzz, a language for differential privacy. The DFuzz type system relies on an index language supporting real and natural number arithmetic over constants and variables. Moreover, DFuzz uses a subtyping mechanism to make types more flexible. By themselves, linearity, dependency, and subtyping each require delicate handling when performing type checking or type inference; their combination increases this challenge substantially, as the features can interact in non-trivial ways. In this paper, we study the type-checking problem for DFuzz. We show how we can reduce type checking for (a simple extension of) DFuzz to constraint solving over a first-order theory of naturals and real numbers which, although undecidable, can often be handled in practice by standard numeric solvers

Rompiendo las barreras de la asignatura: herramientas útiles para el aprendizaje de competencias transversales

Los actuales planes de estudio, respondiendo a las directrices de Bolonia, incluyen de una manera u otra la enseñanza-aprendizaje de diversas competencias genéricas o transversales como la comunicación oral y escrita o el trabajo en equipo entre otras. Pero la estructura tradicional de los planes de estudio, basada fundamentalmente en un conjunto de asignaturas técnicas agrupadas en distintas áreas de conocimiento que se suceden siguiendo un orden determinado de requisitos, no facilita a nivel práctico la inclusión de las competencias transversales. En este trabajo se presentan algunos recursos que ayudan a organizar la enseñanza-aprendizaje de estas competencias a lo largo del plan de estudios. También se describe una experiencia de implementación en un grado de Ingeniería Informática. Los resultados obtenidos confirman la efectividad de los recursos planteados.SUMMARY -- The current curriculums include the teaching and learning of various generic skills such as oral and written communication and teamwork among others. But the traditional structure of the curriculum, mainly based on a set of technical subjects grouped in different areas of knowledge that occur in a specific order requirements, not easy at all to include generic skills. In this paper some resources that help organize the teaching and learning of these skills throughout the curriculum are presented. An experimental implementation is also described in a Computer Engineering degree. The results obtained confirm the effectiveness of the proposed resources

On the role of Prognostics and Health Management in advanced maintenance systems

The advanced use of the Information and Communication Technologies is evolving the way that systems are managed and maintained. A great number of techniques and methods have emerged in the light of these advances allowing to have an accurate and knowledge about the systems’ condition evolution and remaining useful life. The advances are recognized as outcomes of an innovative discipline, nowadays discussed under the term of Prognostics and Health Management (PHM). In order to analyze how maintenance will change by using PHM, a conceptual model is proposed built upon three views. The model highlights: (i) how PHM may impact the definition of maintenance policies; (ii) how PHM fits within the Condition Based Maintenance (CBM) and (iii) how PHM can be integrated into Reliability Centered Maintenance (RCM) programs. The conceptual model is the research finding of this review note and helps to discuss the role of PHM in advanced maintenance systems.EU Framework Programme Horizon 2020, 645733 - Sustain-Owner - H2020-MSCA-RISE-201

Entrevista con D. Federico Mayor Zaragoza: Director General de la UNESCO

En París, en la propia sede de la UNESCO, "Encuentros Multidisciplinares", y más concretamente dos miembros de su Consejo de Redacción: D. Roberto Marco y D. Jesús Lizcano (ambos Catedráticos de la Universidad Autónoma de Madrid), han celebrado una entrevista con D. Federico Mayor Zaragoza, Director General de la UNESCO (Organización de las Naciones Unidas para la Educación, la Ciencia y la Cultura). A lo largo de la entrevista se van abordando muy diversos temas, la mayor parte de ellos de contenido interdisciplinar, y todos ellos de un claro interés tanto científico como social, y con la visión que aporta sobre los mismos una persona como D. Federico Mayor, quien ha estado dirigiendo e impulsando durante doce años los destinos educativos y culturales de la Humanidad, tratando de fomentar desde la propia UNESCO una cultura para la paz, y la intensificación del nivel de educación como ayuda fundamental para los pueblos más desfavorecidos del planet